//90
#include"bits/stdc++.h"
using namespace std;
float jl,h;
int n;
int main()
{
	cin>>h>>n;
	jl=h;
	for(int i=1;i<n;i++)
	{
		h*=0.5;
		jl+=h*2.0;
	}
	printf("%.2f",jl);
}
